Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.Atualmente é quase impossível uma pessoa não utilizar direta ou indiretamente um sistema computacional. Ao realizar uma operação bancária ou até mesmo ao fazer compras em uma loja, nós somos auxiliados por sistemas computacionais. Em contrapartida, surgem novos ataques para comprometer o funcionamento correto dos sistemas utilizados. Várias técnicas são utilizadas para que os sistemas funcionem conforme sua especificação, entre elas,destacam-se sistemas tolerantes a faltas bizantinas/intrusões (BFT) através de replicação de máquina de estados (RME). Nessa abordagem, é proposta uma arquitetura de sistema tolerante a intrusões que garante o seu funcionamento correto, mesmo na presença de réplicas faltosas.Este trabalho propõe um algoritmo que une replicação de máquina de estados e sistema de detecção de intrusões (IDS) para tolerar faltas bizantinas. A tecnologia de virtualização é utilizada no algoritmo proposto para replicar o serviço e também para isolar o IDS da aplicação monitorada. Dessa forma, é proposto um detector de intrusões como um componente confiável do sistema BFT. As principais contribuições são: (1) propor um modelo unificado, o qual utiliza replicação de máquina de estados e IDS em conjunto, e faz uso dos recursos da tecnologia de virtualização, (2) detector de intrusões como componente confiável do sistema e (3) elaborar um algoritmo BFT baseado no modelo proposto. Através desta abordagem foi possível reduzir o número de réplicas do sistema de 3f + 1 para 2f + 1 e reduzir o número de passos do protocolo do algoritmo tradicional BFT de Castro e Liskov de 5 para 3 no caso normal de operação e sem precisar da participação do cliente no protocolo.Abstract : Currently, it is almost impossible for a person not to use a computing system, in a direct or indirect way. When we are using a banking machine, or shopping in a store, we need to use a computing system. On the other hand, there are new attacks to damage the correct workingof the systems. There are several techniques to help the systems to work correctly according to their specification; among them, the Byzantine/intrusions fault tolerant systems (BFT) through the state machine replication (SMR) are important ones. In this perspective, it proposes a system architecture tolerant to intrusions that guarantees its proper functioning, even if there are faulty replicas.This research proposes an algorithm which presents a unified approachby using state machine replication and intrusion detection system in order to tolerate Byzantine faults. The virtualization technology is usedon the proposed algorithm to replicate the service and also to isolate the IDS of the monitored application. Therefore, we propose an intrusion detector as a reliable component of the BFT system. The main contributions are: (1) to propose a unified model, which uses state machine replication together with IDS, using the virtualization technology resources; (2) intrusion detector as a reliable component of the system; and (3) to make a BFT algorithm based on the proposed model. This approach made it possible to decrease the number of the system replicas from the 3f + 1 to 2f + 1, and to reduce the number of steps of the protocol of the BFT traditional algorithm from Castro and Liskov from 5 to 3 in a normal case of operation without the participation of the client in the protocol

INFLUÊNCIA DA IDADE DE CORTE DE CLONES DE Eucalyptus grandis E HÍBRIDOS DE Eucalyptus grandis x Eucalyptus urophylla NA COMPOSIÇÃO QUÍMICA DA MADEIRA E POLPAÇÃO KRAFT

The recent efforts on the quality of the wood used in pulp and paper mills has focused in many points, among them the influence of the raw material chemical characteristics in the production process and final product quality. Considering the current demand for younger trees, the effect of the wood harvesting age in the chemical composition and in the process variables becomes a very important fact for the industries of this sector. So, the objective of this study was to characterize Brazilian eucalypt clones, Eucalyptus grandis and Eucalyptus urograndis, both in different harvesting ages (1 to 8 years-old), for their chemical composition and kraft pulping parameters. Both chemical compositions of wood samples showed significant statistical variations due to the alteration of their harvesting ages. The glucan content, as well as cellulose content, basic density, and extractives tended to rise with the increase of harvesting age; while xylan and the other carbohydrate contents that compose the hemicelluloses tended to decline with the increase of the harvesting age, as well as uronic acids, acetyl groups, lignin, ashes, and S:G ratio. The 5 year-old wood samples showed the greatest pulping yield results for kappa number 17, and the yield at kappa number 17 showed strong correlation with glucan content.Os recentes esforços na melhoria da qualidade da madeira para o abastecimento das fábricas de celulose e papel têm focado em muitos pontos, dentre estes, a influência das características químicas da matéria-prima no processo produtivo e na qualidade do produto final. Considerando a atual demanda por árvores mais jovens, o efeito da idade de corte da madeira na composição química e nas variáveis de processo, torna-se uma questão importante para as indústrias do setor. Em função disto, o objetivo do presente estudo foi caracterizar clones de eucalipto, Eucalyptus grandis e híbridos Eucalyptus urograndis, ambos em diferentes idades de corte (1 a 8 anos) quanto às suas composições químicas e parâmetros de polpação kraft. Ambas as composições químicas das madeiras mostraram variações estatísticas significativas devido às suas diferentes idades de corte. O teor de glicanas, assim como o teor de celulose, densidade básica e extrativos, aumentaram com o aumento da idade de corte das árvores, enquanto o teor de xilanas e demais carboidratos que compõem as hemicelulose, tenderam a diminuir com o aumento da idade de corte, assim como os ácidos urônicos, grupos acetila, lignina, cinzas e relação S:G da lignina da madeira. As amostras com 5 anos de idade mostraram o melhor rendimento na polpação kraft para número kappa 17, e este rendimento (número kappa 17) mostrou forte correlação com o teor de glicanas

NEOLIBERALISMO E EDUCAÇÃO

O presente artigo busca, por meio da abordagem qualitativa, de cunho teórico, refletir sobre o conceito de neoliberalismo. O estudo se dá a partir da pesquisa bibliográfica em autores que fundamentam e propiciam reflexões sobre os nexos entre Estado, sociedade, neoliberalismo, escola, educação, políticas educacionais e formação. Dentre eles, Dardot e Laval (2016), Apple (2003), Dourado (2019). Põe-se em questão a natureza, as finalidades e o sentido do conceito de neoliberalismo tendo em vista às contradições da realidade. Um dos achados do estudo consiste na aproximação e compreensão do conceito de neoliberalismo para além da ideia de agenda política e econômica, quer dizer, diz respeito a uma racionalidade, a uma lógica e forma de conceber, organizar, reproduzir, conservar modos de ser, pensar e agir na sociedade capitalista

Caracterização microclimática e produtividade de cafeeiros sombreados com guandu no Sul do Brasil

Recent studies on coffee (Coffea arabica L.) cultivation in agroforestry systems in Southern Brazil have shown the potential of partial shading to improve management of this crop. The objective of this work was to evaluate microclimatic conditions and their effects on coffee production of plants shaded with pigeon pea (Cajanus cajan) in comparison to unshaded ones, from May 2001 to August 2002 in Londrina, State of Paraná, Brazil. The appraised microclimatic characteristics were: global radiation, photosynthetic and radiation balance; air, leaf and soil temperatures; and soil humidity. Shading caused significant reduction in incident global solar radiation, photosynthetically active radiation and net radiation, and attenuated maximum leaf, air and soil temperatures, during the day. Shade also reduced the rate of cooling of night air and leaf temperatures, especially during nights with radiative frost. Soil moisture at 0–10 cm depth was higher under shade. The shaded coffee plants produced larger cherries due to slower maturation, resulting in larger bean size. Nevertheless, plants under shade emitted less plagiotropic branches, with smaller number of nodes per branch, and fewer nodes with fruits, resulting in a large reduction in coffee production. These results show the need to find an optimal tree density and management that do not compromise coffee production and protect against extreme temperatures.Recentes estudos sobre cafeeiros (Coffea arabica L.) cultivados em sistemas agroflorestais no Sul do Brasil têm mostrado o potencial do sombreamento parcial no manejo desta cultura. O objectivo deste trabalho foi avaliar as condições do microclima e seus efeitos na produção de café sombreado com guandu (Cajanus cajan), em comparação ao cultivado a pleno sol, no período de maio de 2001 a agosto de 2002 em Londrina, PR. As características microclimáticas avaliadas foram: radiação global, fotossintética e saldo de radiação; temperaturas do ar, da folha e do solo; e umidade do solo. O sombreamento causou significativa redução na radiação solar global incidente, na radiação fotossinteticamente ativa e na radiação líquida, e atenuou as temperaturas máximas foliar, do ar e do solo, durante o dia. O sombreamento também evitou o declínio acentuado, durante a noite, das temperaturas do ar e da folha, especialmente durante noites com geadas de radiação. Os valores de umidade do solo, na camada 0–10 cm de profundidade, foram maiores nos cafeeiros sombreados. As plantas sombreadas produzem frutos maiores em virtude da maturação mais lenta, entretanto, emitem menos ramos plagiotrópicos, com menor número de nós por ramo e poucos nós com frutos, o que resulta na redução da produção de café. Estes resultados evidenciam a necessidade de se definir uma densidade ótima de sombreamento, que não comprometa a produção e proteja contra as temperaturas extremas

Physiological characteristics and growth of coffee plants grown under shade of pigeonpea and unshaded

O conhecimento dos efeitos do sombreamento sobre a fisiologia de cafeeiros é importante para se determinar níveis ótimos de radiação e temperatura, bem como para subsidiar estudos sobre o crescimento de plantas sombreadas, a fim de determinar a arquitetura ideal do cafeeiro que maximize a captura da radiação solar disponível em ambientes sombreados. O objetivo deste trabalho foi avaliar características fisiológicas e de crescimento de cafeeiros (Coffea arabica L.) cultivados sob sombreamento denso com guandu (Cajanus cajan (L.) Millsp.) e a pleno sol. O baixo nível de radiação incidente sobre os cafeeiros sombreados com guandu resultou em decréscimos na taxa fotossintética e na transpiração, maior altura de planta, folhas maiores e com menor quantidade de matéria seca. Esses resultados indicam que o excesso de sombra afeta drasticamente a fisiologia e morfologia de C. arabica.The characterization of shade effects on the physiology of coffee is important to determine optimum levels of radiation and temperature, as well as to subsidize studies on growth of shaded plants aiming at determining the ideal coffee plant architecture that maximizes the capture of the available solar radiation in shaded environments. The objective of this work was to evaluate physiological and growth characteristics of coffee (Coffea arabica L.) shaded with pigeonpea (Cajanus cajan (L.) Millsp.) and under full sun. The low level of incident radiation on the coffee shaded with pigeonpea caused decreases in the photosynthetic rate and transpiration, increased plant height and leaf size, but diminished leaf dry matter. These results indicate that the excess of shade drastically affects the physiology and morphology of C. arabica

Common bean resistance expression to whitefly in winter and rainy seasons in Brazil

Whitefly Bemisia tabaci (Gennadius) biotype B is the major pest of common bean (Phaseolus vulgaris L.) in Brazil and other countries. Host plant resistance is one of the cornerstones of Integrated Pest Management (IPM), and assessment of cultivars for insect resistance is fundamental to provide farmers options for pest control. This study evaluated common bean resistance to whitefly in the winter and rainy seasons in Jaboticabal, Brazil, and correlated the infestation with climatic factors. The plant part and development period of common bean that are more susceptible to whitefly infestation were also examined for potential use in IPM. Field experiments were carried out using 18 and 19 commercial cultivars in the winter and rainy seasons, respectively. Whitefly eggs, nymphs, and adults in the upper part and lower part of plants were sampled from 25 to 60 days after emergence (DAE). Cultivars IAC-Una and IAC-Eldorado had less oviposition and the former also showed lower adult infestation in the winter season. In the rainy season, cultivars IAPAR-81 and Guará had a smaller number of eggs, whereas IAC-Centauro was less infested by nymphs. The number of nymphs and adults was similar among cultivars in the winter and rainy seasons, respectively. The upper part of plants had a greater number of eggs and adults, while, the lower part harbored larger numbers of nymphs. Common bean was more susceptible to whitefly at 25-32 DAE in both seasons. These results add useful information to IPM of whitefly in common bean

Adubação nitrogenada em cobertura: fator determinante para elevadas produtividades de feijão comum

Considerando a grande exigência do feijoeiro em nutrientes, destaca-se a alta demanda da cultura por nitrogênio (N). Dessa maneira, objetivou-se avaliar se a inoculação de sementes, com Azospirillum brasilense e adubação nitrogenada e molíbdica, em cobertura, influenciam os caracteres agronômicos e o rendimento produtivo do feijão comum. Para tanto, empregou-se o delineamento experimental de blocos casualizados, em esquema fatorial 2x2x2, com quatro repetições. Avaliou-se a inoculação de sementes (sem inoculação e com inoculação de A. brasilense), aplicação foliar de molibdênio (sem aplicação e com aplicação de 126 g ha-1) e fornecimento de nitrogênio em cobertura (sem aplicação e com aplicação de 30 kg ha-1). Os ensaios foram conduzidos no município de Colorado do Oeste, Rondônia, nos anos de 2017 e 2018, adotando sistema de semeadura direta. Utilizou-se a cultivar BRS Estilo e para inoculação das sementes as estirpes AbV5 e AbV6 com 2x108 Ufc g-1. O molibdênio foliar foi aplicado, em dose única, aos 19 dias após a emergência das plântulas e o nitrogênio, fornecido por ocasião da fase de desenvolvimento reprodutivo R5, utilizando como fonte a ureia, aplicada manualmente na linha de plantio. A inoculação das sementes de feijão, com A. brasilense, resulta em aumento da produtividade quando associada a adubação nitrogenada em cobertura. A adubação nitrogenada em cobertura é determinante no aumento de produtividade do feijão comum

Caracterización microclimática y producción de forrajeras sombreadas con Pinus taeda en el sur de Brasil

Ponencia presentada en: VI Congreso Internacional de la Asociación Española de Climatología celebrado en Tarragona del 8 al 11 de octubre de 2008.[ES]El objetivo de este trabajo ha sido caracterizar el microclima de gramíneas y leguminosas forrajeras sombreadas con Pinus taeda y su efecto en la producción de materia seca, en el Sur de Brasil.[EN]The objective of this research was to characterize the macroclimate of grass and legume forage plants shaded with Pinus taeda and its effect on dry matter production in Southern Brazil

Metropolitan and regional health planning: dilemmas of the Pact for Health in the Baixada Santista Metropolitan Area, Sao Paulo State, Brazil

This paper focuses on the relationship between metropolitan and regional health planning based on the processes of regionalization and the Pact for Health in the Baixada Santista Metropolitan Area, Sao Paulo State, Brazil. The method used was a case study in two stages, namely during initial implementation of the Pact for Health (2007) and the Regional Administration Committees (CGR) and in 2010. Municipal and regional health systems managers and the director of the Metropolitan Agency were interviewed, and records were analyzed from ten years of meetings of the Regional Inter-Administration Committee and the Regional Development Council. Four issues emerged: financing and infrastructure; health services utilization; inefficiency of the Regional Health Administration's instruments and decision-making levels; and the relationship between different levels in the Administration. Metropolitan health management remained as an underlying issue, appearing only incidentally or tangentially to regional management. Despite some limitations, the CGR has been legitimized as a space for regional health management